منابع مشابه
Take It NP-Easy: Bounded Model Construction for Duration Calculus
Following the recent successes of bounded model-checking, we reconsider the problem of constructing models of discrete-time Duration Calculus formulae. While this problem is known to be non-elementary when arbitrary length models are considered [Han94], it turns out to be only NP-complete when constrained to bounded length. As a corollary we obtain that model construction is in NP for the formu...
متن کاملTake It or Leave It ?
This research examines the consumer’s decision whether to make a purchase. I propose one psychological process underlying this decision, namely, a metacognitive process I call preference testing. Specifically, when deciding whether to purchase a particular option, people observe whether they have tested the option against alternative options for purchase. Seeing they have considered a competing...
متن کاملWhat Does It Take
This study explores the extent to which campaign visibility facilitates electoral participation, using data from firstand second-order elections in Britain. Our contribution to the existing literature is threefold. First, we assess whether the effects of campaign effort are conditioned by marginality, finding that campaign mobilisation gets out the vote regardless of the competitiveness of the ...
متن کاملTake It EASEA
Evolutionary algorithms are not straightforward to implement and the lack of any specialised language forces users to reinvent the wheel every time they want to write a new program Over the last years evolutionary libraries have appeared trying to reduce the amount of work involved in writing such algorithms from scratch by o ering standard engines strategies and tools Unfortunately most of the...
متن کامل“Take it up a NOTCH
Long-term survival of ovarian cancer patients is poor due to lack of early detection and high rates of therapeutic failure and chemoresistance. It is estimated that 15,500 women in the United States will die of ovarian cancer this year, and that nearly 23,000 more will receive a first-time diagnosis, 67% of whom will present with advanced stage disease (stages III and IV). Only 5,200 of those a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electrochemistry
سال: 2010
ISSN: 2186-2451,1344-3542
DOI: 10.5796/electrochemistry.78.936